Chin, Wei Ngan: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || A MATLAB-Based Code Generator for Sparse Matrix Computations

Year:

2004

Language:

english

File:

PDF, 429 KB

english, 2004

2

A higher-order removal method

Wei-Ngan Chin, John Darlington

Journal:

Higher-Order and Symbolic Computation

Year:

1996

Language:

english

File:

PDF, 2.29 MB

english, 1996

3

[ACM Press Companion to the 21st ACM SIGPLAN conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications - OOPSLA '06 - Core-java

Craciun, Florin, Goh, Hong Yaw, Popeea, Corneliu, Chin, Wei-Ngan

Year:

2006

Language:

english

File:

PDF, 90 KB

english, 2006

4

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || A Relational Model for Object-Oriented Designs

Year:

2004

Language:

english

File:

PDF, 297 KB

english, 2004

5

Optimizing the parallel computation of linear recurrences using compact matrix representations

Adrian Nistor, Wei-Ngan Chin, Tiow-Seng Tan, Nicolae Tapus

Journal:

Journal of Parallel and Distributed Computing

Year:

2009

Language:

english

File:

PDF, 2.52 MB

english, 2009

6

Calculating Sized Types

Wei-Ngan Chin, Siau-Cheng Khoo

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 226 KB

english, 2001

7

Editorial

Wei-Ngan Chin, Olivier Danvy, Peter Thiemann

Journal:

Higher-Order and Symbolic Computation

Year:

2004

Language:

english

File:

PDF, 25 KB

english, 2004

8

Safe fusion of functional expressions II: Further improvements

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 2.26 MB

english, 1994

9

Charting patterns on price history

Anand, Saswat, Chin, Wei-Ngan, Khoo, Siau-Cheng

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 292 KB

english, 2001

10

Automated verification of the FreeRTOS scheduler inHip/Sleek

Ferreira, João F., Gherghina, Cristian, He, Guanhua, Qin, Shengchao, Chin, Wei-Ngan

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2014

Language:

english

File:

PDF, 1.80 MB

english, 2014

11

An efficient distributed deadlock avoidance algorithm for the AND model

Hui Wu, Wei-Ngan Chin, Jaffar, J.

Journal:

IEEE Transactions on Software Engineering

Year:

2002

Language:

english

File:

PDF, 234 KB

english, 2002

12

[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Structured specification for program verification

Year:

2012

Language:

english

File:

PDF, 149 KB

english, 2012

13

Self-embedded context-free grammars with regular counterparts

Stefan Andrei, Wei-Ngan Chin, SalvadorValerio Cavadini

Journal:

Acta Informatica

Year:

2004

Language:

english

File:

PDF, 191 KB

english, 2004

14

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - From Verification to Specification Inference

Chin, Wei-Ngan, David, Cristina

Year:

2012

Language:

english

File:

PDF, 195 KB

english, 2012

15

Region inference for an object-oriented language

Chin, Wei-Ngan, Craciun, Florin, Qin, Shengchao, Rinard, Martin

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 202 KB

english, 2004

16

[ACM Press the 2010 ACM Symposium - Sierre, Switzerland (2010.03.22-2010.03.26)] Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 - Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 444 KB

english, 2010

17

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Verifying safety policies with size properties and alias controls

Chin, Wei-Ngan, Khoo, Siau-Cheng, Qin, Shengchao, Popeea, Corneliu, Nguyen, Huu Hai

Year:

2005

Language:

english

File:

PDF, 261 KB

english, 2005

18

[ACM Press the 1992 ACM conference - San Francisco, California, United States (1992.06.22-1992.06.24)] Proceedings of the 1992 ACM conference on LISP and functional programming - LFP '92 - Safe fusion of functional expressions

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

19

A bounds inference method for vector-based memoization

Chin, Wei-Ngan, Hagiya, Masami

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.04 MB

english, 1997

20

Automatically refining partial specifications for heap-manipulating programs

Qin, Shengchao, He, Guanhua, Luo, Chenguang, Chin, Wei-Ngan, Yang, Hongli

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 529 KB

english, 2014

21

Safe fusion of functional expressions

Journal:

ACM SIGPLAN Lisp Pointers

Year:

1992

Language:

english

File:

PDF, 1.05 MB

english, 1992

22

[IEEE 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Plano, TX, USA (2007.11.14-2007.11.16)] 10th IEEE High Assurance Systems Engineering Symposium (HASE'07) - Multiple Pre/Post Specifications for Heap-Manipulating Methods

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Year:

2007

Language:

english

File:

PDF, 579 KB

english, 2007

23

A rigorous methodology for specification and verification of business processes

Cristian Masalagiu, Wei-Ngan Chin, Ştefan Andrei, Vasile Alaiba

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 494 KB

english, 2009

24

[IEEE 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Hong Kong, China (17-19 Aug. 2005)] 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits

Andrei, S., Wei-Ngan Chin,, Cheng, A.M.K., Yongxin Zhu,

Year:

2005

Language:

english

File:

PDF, 118 KB

english, 2005

25

[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - A HIP and SLEEK verification system

Chin, Wei-Ngan, David, Cristina, Gherghina, Cristian

Year:

2011

Language:

english

File:

PDF, 291 KB

english, 2011

26

Immutable specifications for more concise and precise verification

David, Cristina, Chin, Wei-Ngan

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 454 KB

english, 2011

27

Automated verification of shape, size and bag properties via user-defined predicates in separation logic

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 455 KB

english, 2012

28

[ACM Press the second international symposium - Maui, Hawaii, United States (1997.07.20-1997.07.22)] Proceedings of the second international symposium on Parallel symbolic computation - PASCO '97 - Deriving efficient parallel programs for complex recurrences

Teo, Yong Meng, Chin, Wei-Ngan, Tan, Soon Huat

Year:

1997

Language:

english

File:

PDF, 1.29 MB

english, 1997

29

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - Analysing memory resource bounds for low-level programs

Chin, Wei-Ngan, Nguyen, Huu Hai, Popeea, Corneliu, Qin, Shengchao

Year:

2008

Language:

english

File:

PDF, 269 KB

english, 2008

30

[IEEE Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Toronto, Canada (25-28 May 2004)] Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004. - Incremental satisfiability counting for real-time systems

Andrei, S., Wei-Ngan Chin,

Year:

2004

Language:

english

File:

PDF, 374 KB

english, 2004

31

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - A practical and precise inference and specializer for array bound checks elimination

Popeea, Corneliu, Xu, Dana N., Chin, Wei-Ngan

Year:

2008

Language:

english

File:

PDF, 285 KB

english, 2008

32

[ACM Press the 1993 ACM SIGPLAN symposium - Copenhagen, Denmark (1993.06.14-1993.06.16)] Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '93 - Towards an automated tupling strategy

Year:

1993

Language:

english

File:

PDF, 1.29 MB

english, 1993

33

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story

Year:

2004

Language:

english

File:

PDF, 416 KB

english, 2004

34

A transformation method for dynamic-sized tabulation

Wei-Ngan Chin, Masami Hagiya

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 1.26 MB

english, 1995

35

Dual analysis for proving safety and finding bugs

Popeea, Corneliu, Chin, Wei-Ngan

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

36

[IEEE 11th IEEE Real Time and Embedded Technology and Applications Symposium - San Francisco, CA, USA (07-10 March 2005)] 11th IEEE Real Time and Embedded Technology and Applications Symposium - Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting

Andrei, S., Cheng, A.M.K., Wei-Ngan Chin,, Lupu, M.

Year:

2005

Language:

english

File:

PDF, 236 KB

english, 2005

37

Extending sized type with collection analysis

Chin, Wei-Ngan, Khoo, Siau-Cheng, Xu, Dana N.

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 228 KB

english, 2003

38

[IEEE Comput. Soc 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002) - Washington, DC, USA (4-6 Nov. 2002)] 14th IEEE International Conference on Tools with Artificial Intelligence, 2002. (ICTAI 2002). Proceedings. - A lazy divide and conquer approach to constraint solving

Anand, S., Wei-Ngan Chin,, Siau-Cheng Khoo,

Year:

2002

Language:

english

File:

PDF, 269 KB

english, 2002

39

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 ||

Year:

2004

Language:

english

File:

PDF, 5.36 MB

english, 2004

40

[IEEE 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Auckland, New Zealand (2007.07.11-2007.07.14)] 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007) - Automated Verification of Shape, Size and Bag Properties

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Year:

2007

Language:

english

File:

PDF, 277 KB

english, 2007

41

Automated lemma synthesis in symbolic-heap separation logic

Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-Ngan

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 495 KB

english, 2017

42

[Lecture Notes in Computer Science] Automated Technology for Verification and Analysis Volume 6252 || COMBINE: A Tool on Combined Formal Methods for Bindingly Verification

Bouajjani, Ahmed, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 94 KB

english, 2010

43

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 3302 || Pointcuts as Functional Queries

Year:

2004

Language:

english

File:

PDF, 345 KB

english, 2004

44

From Statecharts to Verilog: a formal approach to hardware/software co-specification

Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu

Journal:

Innovations in Systems and Software Engineering

Year:

2006

Language:

english

File:

PDF, 509 KB

english, 2006

45

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Enhancing modular OO verification with separation logic

Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao

Year:

2008

Language:

english

File:

PDF, 298 KB

english, 2008

46

Verifying pointer safety for programs with unknown calls

Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 514 KB

english, 2010

47

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Immutable specifications for more concise and precise verification

David, Cristina, Chin, Wei-Ngan

Year:

2011

Language:

english

File:

PDF, 454 KB

english, 2011

48

[ACM Press the 2015 Workshop - Mumbai, India (2015.01.13-2015.01.14)] Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 - Threads as Resource for Concurrency Verification

Le, Duy-Khanh, Chin, Wei-Ngan, Teo, Yong Meng

Year:

2015

Language:

english

File:

PDF, 716 KB

english, 2015

49

A new algorithm for regularizing one-letter context-free grammars

Ştefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 249 KB

english, 2003

50

[IEEE 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE) - Taipei, Taiwan (2010.08.25-2010.08.27)] 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering - Stack Bound Inference for Abstract Java Bytecode

Wang, Shengyi, Qiu, Zongyan, Qin, Shengchao, Chin, Wei-Ngan

Year:

2010

Language:

english

File:

PDF, 267 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски